Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Elektronisch E-boek |
| Taal: | Engels |
| Gepubliceerd in: |
Hoboken, N.J. :
Wiley-Interscience,
c2008.
|
| Reeks: | Wiley series on parallel and distributed computing.
|
| Onderwerpen: | |
| Online toegang: | https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/177497 Ver en el OPAC |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
Gelijkaardige items: Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Petri nets : fundamental models, verification and applications /
- Software safety and security : tools for analysis and verification /
- IEEE transactions on computer-aided design of integrated circuits and systems
- Microelectronic circuit design /
- Microelectronic circuit design /
- Beginning ArcGIS desktop development using .NET /