Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues
| Autor: | Seidner, Charlotte, Lerat, Jean-Philippe, Roux, Olivier Henri |
|---|---|
| Přispěvatelé: | Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2007 |
| Předmět: | |
| Zdroj: | 17$^{th}$ International Symposium of the International Council on Systems Engineering (IS2007) 17$^$ International Symposium of the International Council on Systems Engineering (IS2007), 2007, San Diego, United States. pp.0-10 |
| Popis: | International audience |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|