Abstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOS

Valentin Constantin Chimisliu, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProc. of the 6th International Workshop on Automation of Software Test
Publisher.
Pages8-14
Publication statusPublished - 2011
EventInternational Workshop on Automation of Software Test - Waikiki, Honolulu, United States
Duration: 23 May 201124 May 2011

Workshop

WorkshopInternational Workshop on Automation of Software Test
CountryUnited States
CityWaikiki, Honolulu
Period23/05/1124/05/11

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical
  • Experimental

Cite this

Chimisliu, V. C., & Wotawa, F. (2011). Abstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOS. In Proc. of the 6th International Workshop on Automation of Software Test (pp. 8-14). ..