tag :: temporal_logic | BibSonomy

bookmarks (hide)2
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)3
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle
O. Müller. (1998)
16 years ago by @giuliano.losa
show all tags
hol
ioautomata
isabelle
temporal_logic
verification
holioautomataisabelletemporal_logicverification
(0)
copydeleteadd this publication to your clipboard
2Extending statecharts with temporal logic
A. Sowmya, and S. Ramesh. Software Engineering, IEEE Transactions on, 24 (3): 216--231 (1998)
17 years ago by @leonardo
show all tags
1998
statecharts
temporal_logic
1998statechartstemporal_logic
(0)
copydeleteadd this publication to your clipboard
1Formalization of UML state machines using temporal logic
C. Rossi, M. Enciso, and I. de Guzm'an. Software and Systems Modeling, 3 (1): 31--54 (March 2004)
17 years ago by @leonardo
show all tags
2004
semantics
statecharts
uml
temporal_logic
2004semanticsstatechartsumltemporal_logic
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩