|
СБ |
Formak Methods and Software Engineering: Proc./ 9th International Conference ICFEM 2007. Boca Raton, FL, USA, November 2007 |
2007 |
|
Lecture Notes in Computer Science |
- Butler M.
- Hinchey M. G.
- Larrondo-Petrie M. M.
|
|
|
29.03.2008 |
|
СБ |
Formal Approaches to Agent-Based Systems: Revised Papers/Second Intern. Workshop, FAABS 2002, Greenbelt, MD, USA, October 2002 |
2003 |
|
Lecture Notes in Artificial Intelligence |
- Hinchey M. G.
- Rash J. L.
- Truszkowski W. F.
- Rouff C.
|
|
|
20.09.2003 |
|
СБ |
Formal Approaches to Agent-Based Systems: Revised Selected Papers/Third International Workshop, FAABS 2004. Greenbelt, MD, USA, April 2004 |
2005 |
|
Lecture Notes in Artificial Intelligence |
- Hinchey M. G.
- Rash J. L.
- Truszkowski W. F.
- Rouff Ch. A.
|
|
|
29.03.2005 |
|
СБ |
Innovative Concepts for Autonomic and Agent-Based Systems: Revised Papers/ Second International Workshop WRAC 2005. Greenbelt,MD,USA, September 2005 |
2006 |
|
Lecture Notes in Artificial Intelligence |
- Hinchey M. G.
- Rago P.
- Rash J. L.
- Rouff Ch. A.
|
|
|
27.03.2007 |
|
СБ |
Proceedings of Third IEEE International Conference on Formal Engineering Methods - ICFEM 2000, York, England, 4-6 September 2000 |
2000 |
|
|
- Liu S.
- Mcdermid J. A.
- Hinchey M. G.
|
|
|
26.12.2000 |
|
СБ |
ZUM 97: The Z Formal Specification Nonation: Proc./10th Intern. Conf. of Z Users. Reading, UK, April 1997 |
1997 |
|
Lecture Notes in Computer Science |
- Bowen J. P.
- Hinchey M. G.
- Till D.
|
|
|
15.04.1997 |
|
СБ |
ZUM 98: The Z Formal Specification Notation: Proc./11th Intern. Conf. of Z Users. Berlin, Germany, September 1998 |
1998 |
|
Lecture Notes in Computer Science |
- Bowen J. P.
- Fett A.
- Hinchey M. G.
|
|
|
08.12.1998 |
