☰
Explorar
Iniciar sesión
Crear una nueva cuenta
Pubblicare
×
Descargar
No category
Document
UML Statechart semantics
No Slide Title
HIGH-LEVEL Language
Safety-Critical Systems
Systems Design
Document
Software life cycles
Tools for Automated Verification of Concurrent Software
Chapter 1: Introdution