Mark Moriconi - phone & email - Venture Consulting - Founderwww.easyleadz.com › people › mark-moriconi
www.easyleadz.com
Mark Moriconi - Founder - Venture Consulting phone & email id. Get contacts in Venture Consulting like Founder, CEO, CFO, CMO, CTO, Marketing head, HR ...
Author: Mark Moriconi | Interaction Design Foundation
www.interaction-design.org
Mark Moriconi: Publications, bio, bibliography, etc
Secure Software Architectures Mark Moriconi, Xiaolei Qian Ussrbackwww.ussrback.com/cryptopapers java.sun.com/people/.../sec-soft-arch.ps.gz
www.ussrback.com
Mark Moriconi, Xiaolei Qian, R. A. Riemenschneider, Li Gong. y. Computer Science Laboratory. SRI International. Menlo Park, California Abstract.
BibSLEIGH — Mark_Moriconi
bibtex.github.io
Talks about: verif (2) architectur (1) construct (1) interact (1) configur (1) composit (1) approach (1) softwar (1) practic (1) network (1). Person: Mark Moriconi ...
DBLife: Mark Moriconi
dblife.cs.wisc.edu
from DBLP and Google Scholar. Developed by the Database Group at the University of Wisconsin and Yahoo!
Author: Dwight F. Hare | Interaction Design Foundation
www.interaction-design.org
Dwight F. Hare: Publications, bio, bibliography, etc
Denise A Moriconi, Age 59, (781) Nichols Rd ...newenglandfacts.com › people › Denise-Moriconi-HGAC...
newenglandfacts.com
... also used the names Da MoriconiDenice MoriconiDenise M MoriconiMoriconi Da Denise is likely related to Mark Moriconi, 60 Paula Mahan, 73 Rino Moriconi, ...
Mark Moriconi | LibraryThing
www.librarything.com
Mark Moriconi, author of Formal methods in software development : International workshop : Selected…, on LibraryThing
Mark Moriconi - AbeBooks
www.abebooks.com
Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development; Software Engineering Notes Vol. 15 No. 4; by Moriconi, Mark:...
FME '93: Industrial-Strength Formal Methods: First ...books.google.com › books
books.google.de
In Mark Moriconi, editor, Proceedings of the A CM SIGSOFT International Workshop on Formal Methods in Software Development, pages , Napa, ...
FME '93: Industrial-Strength Formal Methods: First International...
books.google.de
Jonathan Jacky. Formal specifications for a clinical cyclotron control system. In Mark Moriconi, editor, Proceedings of the A CM SIGSOFT International Workshop ...
Google Groups: High integrity sotware
: NASA was doing some thing in formal methods, mostly modelling and model checking, and Mark Moriconi has continued working in that general area at SRI. ...
All web results to the name "Mark Moriconi"
Proceedings of the ACM SIGSOFT International Workshop on Formal...
www.cerias.purdue.edu
Mark Moriconi ... Formal Methods in Software Development ", year = "1990", month = "May 9-11", editor = "Mark Moriconi", organization = "ACM ...
Jonathan Jacky Bibliography
staff.washington.edu
In Mark Moriconi, editor, Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development, pages , Napa, California,
Related search requests for Mark Moriconi
Peter Neumann Oscar Nierstrasz Bernd Mahr | John Minor Robert Tolksdorf |
People Forename "Mark" (105460) Name "Moriconi" (165) |
sorted by relevance / date