book chapterLecture notes in computer scienceJan 1, 2004GREEN OA

A Tutorial on Uppaal

GBGerd BehrmannADAlexandre DavidKGKim G. Larsen

Aalborg University

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

1,563
total citations
FWCI
36.90
Percentile
100%
References
78
Citations per year

Authors

3

Topics & keywords

Topics
Keywords
  • Computer science
  • Automaton
  • Programming language
  • Interface (matter)
  • Software engineering
  • Human–computer interaction
  • Theoretical computer science
  • Operating system
UN Sustainable Development Goals
  • Quality Education
No related works found for this paper.