tag :: b statecharts 2004 | BibSonomy

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

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)4
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...

1Checking Consistency between UML Class and State Models Based on CSP and B
W. Yeung. J. UCS, 10 (11): 1540--1559 (2004)
16 years ago by @leonardo
show all tags
2004
b
statecharts
\_no\_doi
\_pdf
csp
uml
2004bstatecharts\_no\_doi\_pdfcspuml
(0)
copydeleteadd this publication to your clipboard
1Formal refinement and model checking of an echo cancellation unit
A. Krupp, W. Mueller, and I. Oliver. Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings, 3, page 102--107 Vol.3. (2004)
16 years ago by @leonardo
show all tags
model\_checking
refinement
2004
b
statecharts
\_pdf
uml
model\_checkingrefinement2004bstatecharts\_pdfuml
(0)
copydeleteadd this publication to your clipboard
1Formal refinement and model checking of an echo cancellation unit
A. Krupp, W. Mueller, and I. Oliver. Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings, 3, page 102--107 Vol.3. (2004)
16 years ago by @leonardo
show all tags
refinement
2004
b
statecharts
model_checking
uml
refinement2004bstatechartsmodel_checkinguml
(0)
copydeleteadd this publication to your clipboard
1Checking Consistency between UML Class and State Models Based on CSP and B
W. Yeung. J. UCS, 10 (11): 1540--1559 (2004)
16 years ago by @leonardo
show all tags
2004
b
statecharts
_no_doi
csp
uml
2004bstatecharts_no_doicspuml
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩