Linking event-based simulations in process simulate with Supremica to perform formal verification sequences of operations at VCC

Typ
Examensarbete för masterexamen
Master Thesis
Program
Publicerad
2008
Författare
Modig, Christoffer
Westman, Fredrik
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
Beskrivning
Ämne/nyckelord
Elektroteknik och elektronik , Electrical Engineering, Electronic Engineering, Information Engineering
Citation
Arkitekt (konstruktör)
Geografisk plats
Byggnad (typ)
Byggår
Modelltyp
Skala
Teknik / material
Index
URI
https://hdl.handle.net/20.500.12380/69027
Samling
Examensarbeten för masterexamen