Sortiert nach
IEEE transactions on software engineering, 1998-09, Vol.24 (9), p.741-758
1998
- Link zum Volltext
Formal aspects of computing, 2000-11, Vol.12 (3), p.165-181
2000
Link zum Volltext
Lecture notes in computer science, 2002, Vol.2272, p.416-435
2002
Link zum Volltext
Lecture notes in computer science, 2003, Vol.2651, p.58-78
2003
Link zum Volltext
Integrated Formal Methods, 2005, p.89-108
2005
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software Engineering
- B-Method
- Combining Formalisms
- Computer Science
- Concurrency
- Language Theory And Syntactical Analysis
- Science & Technology
- Technology
- Theoretical Computing
- Abstraction
- Algorithmics. Computability. Computer Arithmetics
- Authentication
- Authentication Protocols
- Component Based Verification
- Composing Specification
Kollektion
Zeitschrift / Serie