Formal Verification of Hybrid Automotive Systems
| Contribuinte(s) |
Casolo, Federico |
|---|---|
| Data(s) |
2010
|
| Formato |
application/pdf |
| Identificador |
http://eprints.iisc.ernet.in/40319/1/formal.pdf Sukumar, Jairam and Bhat, Navakanta and Lata, Kusum and Roy, Subir K (2010) Formal Verification of Hybrid Automotive Systems. [Book Chapter] |
| Publicador |
InTech |
| Relação |
http://www.intechopen.com/articles/show/title/formal-verification-of-hybrid-automotive-systems http://eprints.iisc.ernet.in/40319/ |
| Palavras-Chave | #Electrical Communication Engineering |
| Tipo |
Book Chapter NonPeerReviewed |
