A formal approach for the development of reactive systems
| Autor: | Mosbahi, Olfa, Jemni Ben Ayed, Leila, Khalgui, Mohamed |
|---|---|
| Zdroj: | In Information and Software Technology 2011 53(1):14-33 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Mosbahi, Olfa, Jemni Ben Ayed, Leila, Khalgui, Mohamed |
|---|---|
| Zdroj: | In Information and Software Technology 2011 53(1):14-33 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect