Search results for "fire control system"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jyhjong Lin, David Chenho Kung, Pei Hsia	Top-down development of real-time software specification. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
2	Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar	Specifying fault tolerance in mission critical systems. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
1	Yang Weon Lee	Neural solution to the target intercept problems in a gun fire control system.	Neurocomputing	2007	DBLP DOI BibTeX RDF
1	Yang Weon Lee, Heau-Jo Kang	A Study on the Correction of Gun Fire Error Using Neural Network.	KES	2005	DBLP DOI BibTeX RDF
1	Marcel Oliveira, Ana Cavalcanti, Jim Woodcock	Formal development of industrial-scale systems in Circus.	ISSE	2005	DBLP DOI BibTeX RDF	Concurrency, Object-orientation, Refinement, Program development
1	J. G. Kim, H. Jeong, Y. W. Lee	Letter to the Editor: Neural Solution to the Correction of Miss Distance in Gun Fire Control System.	Int. J. Neural Syst.	1997	DBLP DOI BibTeX RDF
1	Magdi N. Kamel, M. J. McCaffrey, P. G. Metzler	Design and Implementation of a Prototype Maintenance Advisor Expert System for the MK92 Fire Control System.	DEXA Workshops	1995	DBLP BibTeX RDF
1	R. M. Pollock, W. L. McCoy	Software Engineering in the Development of the TRIDENT Fire Control System.	ICSE	1976	DBLP BibTeX RDF

Displaying result #1 - #8 of 8 (100 per page; Change: )