BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × The Netherlands
Collaborated with:
K.G.Larsen S.Li B.Nielsen
Talks about:
scenario (2) system (2) time (2) real (2) base (2) synthesi (1) analysi (1) against (1) verifi (1) uppaal (1)

Person: Saulius Pusinskas

DBLP DBLP: Pusinskas:Saulius

Contributed to:

DATE 20102010
FM 20092009

Wrote 2 papers:

DATE-2010-LarsenLNP #analysis #realtime #synthesis #using
Scenario-based analysis and synthesis of real-time systems using uppaal (KGL, SL, BN, SP), pp. 447–452.
FM-2009-LarsenLNP #realtime #requirements #verification
Verifying Real-Time Systems against Scenario-Based Requirements (KGL, SL, BN, SP), pp. 676–691.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.