Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
Sadani, Tarek, Boyer, Marc, de Saqui-Sannes, Pierre, Courtiat, Jean-Pierre
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006)
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006)
Get full text
Book Chapter
Conference Proceeding
Mapping RT-LOTOS Specifications into Time Petri Nets
Sadani, Tarek, Boyer, Marc, de Saqui-Sannes, Pierre, Courtiat, Jean-Pierre
Published in Formal Methods and Software Engineering (2006)
Published in Formal Methods and Software Engineering (2006)
Get full text
Book Chapter
Conference Proceeding
Loosely-Coupled Integration of CSCW Systems
Gomes, Roberta L., Rivera, Guillermo J. Hoyos, Courtiat, Jean Pierre
Published in Distributed Applications and Interoperable Systems (2005)
Published in Distributed Applications and Interoperable Systems (2005)
Get full text
Book Chapter
Conference Proceeding
Real-Time and Embedded System Verification Based on Formal Requirements
Fontan, B., Apvrille, L., de Saqui-Sannes, P., Courtiat, J.-P.
Published in 2006 International Symposium on Industrial Embedded Systems (01.10.2006)
Published in 2006 International Symposium on Industrial Embedded Systems (01.10.2006)
Get full text
Conference Proceeding