kw.\*:("Système réactif")
Results 1 to 25 of 1622
Selection :
Modélisation des systèmes réactifs : MSR 2011CRAYE, Etienne; GAMATIE, Abdoulaye.Journal européen des systèmes automatisés. 2011, Vol 45, Num 1-3, issn 1269-6935, 267 p.Conference Proceedings
Recent developments in the mathematics of reactive systems (extended abstract)GUNAWARDENA, J.Lecture notes in computer science. 1997, pp 1-4, issn 0302-9743, isbn 3-540-63141-0Conference Paper
Run-time verificationCOLIN, Séverine; MARIANI, Leonardo.Lecture notes in computer science. 2005, pp 525-555, issn 0302-9743, isbn 3-540-26278-4, 31 p.Conference Paper
Partial lattice-valued possibilistic measures and some relations induced by themKRAMOSIL, Ivan.Lecture notes in computer science. 2003, pp 395-406, issn 0302-9743, isbn 3-540-40494-5, 12 p.Conference Paper
Modelling of Reactive SystemsJUANOLE, Guy; VALETTE, Robert; VERNADAT, François et al.Journal européen des systèmes automatisés. 2002, Vol 36, Num 7, issn 1269-6935, 158 p.Conference Proceedings
A translation of Statecharts to EsterelSEBIS, S. A; SHYAMASUNDAR, R. K; BHATTACHARJEE, A. K et al.Lecture notes in computer science. 1999, pp 983-1007, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper
Case studiesPRENNINGER, Wolfgang; EL-RAMLY, Mohammad; HORSTMANN, Marc et al.Lecture notes in computer science. 2005, pp 439-461, issn 0302-9743, isbn 3-540-26278-4, 23 p.Conference Paper
TTCN-3DIN, George.Lecture notes in computer science. 2005, pp 465-496, issn 0302-9743, isbn 3-540-26278-4, 32 p.Conference Paper
Model composition for scheduling analysis in platform designRICHTER, Kai; ZIEGENBEIN, Dirk; JERSAK, Marek et al.Design automation conference. 2002, pp 287-292, isbn 1-58113-461-4, 6 p.Conference Paper
Concurrent reactive plans (anticipating and forestalling execution failures)Beetz, Michael.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67241-9, XVI, 213 p, isbn 3-540-67241-9Book
The non-standard semantics of EsterelGAGNE, J.-R; PLAICE, J.Lecture notes in computer science. 1997, pp 381-382, issn 0302-9743, isbn 3-540-63875-XConference Paper
Evaluating coverage based testingGASTON, Christophe; SEIFERT, Dirk.Lecture notes in computer science. 2005, pp 293-322, issn 0302-9743, isbn 3-540-26278-4, 30 p.Conference Paper
Lectures on formal methods and performance analysis (Berg en Dal, 3-7 July 2000, revised papers)Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter et al.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42479-2, VI, 429 p, isbn 3-540-42479-2Conference Proceedings
Security of critical control systems sparks concernGEER, David.Computer (Long Beach, CA). 2006, Vol 39, Num 1, pp 20-23, issn 0018-9162, 4 p.Article
State verificationBJÖRKLUND, Henrik.Lecture notes in computer science. 2005, pp 69-86, issn 0302-9743, isbn 3-540-26278-4, 18 p.Conference Paper
Predicting terrorist actions using sequence learning and past eventsRUDA, Harald; DAS, Subrata K; ZACHARIAS, Greg L et al.SPIE proceedings series. 2003, pp 128-138, isbn 0-8194-4930-X, 11 p.Conference Paper
Context-based addressing: The concept and an implementation for large-scale mobile agent systems using publish-subscribe event notificationSENG WAI LOKE; PADOVITZ, Amir; ZASLAVSKY, Arkady et al.Lecture notes in computer science. 2003, pp 274-284, issn 0302-9743, isbn 3-540-20529-2, 11 p.Conference Paper
Can behavioral requirements be executed? (and why would we want to do so?)HAREL, David.Lecture notes in computer science. 2002, pp 30-31, issn 0302-9743, isbn 3-540-44307-X, 2 p.Conference Paper
ViStaCASTELLO, Rodolfo; MILI, Rym; TOLLIS, Ioannis G et al.Lecture notes in computer science. 2002, pp 481-482, issn 0302-9743, isbn 3-540-43309-0Conference Paper
On what Linda is : Formal description of Linda as a reactive systemGELERNTER, D; ZUCK, L.Lecture notes in computer science. 1997, pp 187-204, issn 0302-9743, isbn 3-540-63383-9Conference Paper
The invariant checker : Automated deductive verification of reactive systemsSAIDI, H.Lecture notes in computer science. 1997, pp 436-439, issn 0302-9743, isbn 3-540-63166-6Conference Paper
Timing extensions in object analysisTRAORE, I; SAHRAOUI, A. E. K.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 358-363, isbn 2-9502908-7-6Conference Paper
Clock synchronization algorithms and scheduling issuesBASU, Dhruba; PUNNEKKAT, Sasikumar.Lecture notes in computer science. 2003, pp 45-55, issn 0302-9743, isbn 3-540-20745-7, 11 p.Conference Paper
Modelling of reactive systemsLESAGE, Jean-Jacques.Journal européen des systèmes automatisés. 1997, Vol 31, Num 3, issn 1269-6935, 189 p.Conference Proceedings
Representation and analysis of reactive behaviors : A synchronous approachANDRE, C.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 19-29, isbn 2-9502908-7-6Conference Paper