Search the dblp DataBase
Henrikas Pranevicius :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Henrikas Pranevicius The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems. [Citation Graph (0, 0)][DBLP ] ADBIS, 2001, pp:253-265 [Conf ] Henrikas Pranevicius Creation Simulation Models of Complex Systems Using Piece-linear Aggregare Formalism. [Citation Graph (0, 0)][DBLP ] MSV, 2006, pp:115-121 [Conf ] Henrikas Pranevicius , Vytautas Pilkauskas , Dalius Makackas The use UML and aggregate approach for developing Klaipeda oil simulation model. [Citation Graph (0, 0)][DBLP ] SimVis, 2002, pp:161-172 [Conf ] Henrikas Pranevicius , Germanas Budnikas Creation of ESTELLE/Ag Specifications Using Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Informatica, Lith. Acad. Sci., 2003, v:14, n:1, pp:63-74 [Journal ] Scenario Generation Employing Copulas. [Citation Graph (, )][DBLP ] Development and Analysis of a Problem Domain Knowledge Base Oriented to PLA Specifications. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.001secs