Pascal and Francis Bibliographic Databases


Search results

Your search

kw.\*:("Checking program")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV


A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV


A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 433

  • Page / 18

Selection :

  • and

Check-System für die Datensicherheit = Checking system for data safetyRICHTER, H.-J.Gummi, Fasern, Kunststoffe. 1989, Vol 42, Num 9, pp 418-425, issn 0176-1625, 5 p.Article

Systèmes de test de contrôle des calculateurs modernes. Revue des principales tendancesGORYASHKO, A. P; LITVINENKO, N. I; POSPELOV, L. V et al.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1985, Num 1, pp 37-56, issn 0002-3388Article

Verifying the equivalence of logic programs in the disjunctive caseOIKARINEN, Emilia; JANHUNEN, Tomi.Lecture notes in computer science. 2004, pp 180-193, issn 0302-9743, isbn 3-540-20721-X, 14 p.Conference Paper

Safety perspectivesHARTFORD, D.International water power & dam construction. 1997, Vol 49, Num 2, pp 29-30, issn 0306-400XArticle

A methodology for assessing the correctness of control programsBASTANI, F. B; RAMAMOORTHY, C. V.Computers & electrical engineering. 1984, Vol 11, Num 2-3, pp 115-144, issn 0045-7906Article

Model checking multi-agent programs with CASPBORDINI, Rafael H; FISHER, Michael; PARDAVILA, Carmen et al.Lecture notes in computer science. 2003, pp 110-113, issn 0302-9743, isbn 3-540-40524-0, 4 p.Conference Paper

«MORGAT»: a data processing program for testing transmission line protective relaysBORNARD, P; ERHARD, P; FAUQUEMBERGUE, P et al.IEEE transactions on power delivery. 1988, Vol 3, Num 4, pp 1419-1426, issn 0885-8977, 8 p.Conference Paper

Checking spelling in source codeHUGHES, Elliott.ACM SIGPLAN notices. 2004, Vol 39, Num 12, pp 32-38, issn 1523-2867, 7 p.Article

How to plan a control chart programJAEHN, A. H.Tappi journal. 1991, Vol 74, Num 9, pp 299-301, issn 0734-1415Article

Life extension gives new lease to plantsElectrical world. 1985, Vol 199, Num 5, pp 54-56, issn 0013-4457Article

Quality assurance programs to meet CLIA requirementsINHORN, S. L; SHALKHAM, J. E; MUELLER, G. B et al.Diagnostic cytopathology. 1994, Vol 11, Num 2, pp 195-200, issn 8755-1039Article

Rehabilitation program starts by assessing line conditionFLUHARTY, H. L; FLUHARTY, J. W.Pipe line industry. 1993, Vol 76, Num 7, pp 37-43, issn 0032-0145, 5 p.Article

A quality assurance program at a municipal wastewater treatment plant laboratoryALDENHOFF, G. A; ERNEST, L. A.Journal - Water Pollution Control Federation. 1983, Vol 55, Num 9, pp 1132-1137, issn 0043-1303Article

Development of continuous ship unloader simulator to inspect control unitsHAYASHI, T.Ishikawajima-Harima Giho. 1995, Vol 35, Num 6, pp 427-430, issn 0578-7904Article

Demande controlled ventilation by room CO2 concentration : a comparison of simulated energy savings in an auditorium spaceWARREN, B. F; HARPER, N. C.Energy and buildings. 1991, Vol 17, Num 2, pp 87-96, issn 0378-7788Article

Monitoring and study program of an inter-regional wastewater reclamation system for agricultureREBHUN, M; RONEN, D; EREN, J et al.Journal - Water Pollution Control Federation. 1987, Vol 59, Num 5, pp 242-248, issn 0043-1303Article

Acid rain: the data and monitoring needsBRADY, G. L; LAUCH, E. T.International journal of environmental studies. 1984, Vol 22, Num 3-4, pp 183-193, issn 0020-7233Article

JNuke: Efficient dynamic analysis for JavaARTHO, Cyrille; SCHUPPAN, Viktor; BIERE, Annin et al.Lecture notes in computer science. 2004, pp 462-465, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Accelerated measles control in the western Pacific regionMCFARLAND, Jeffrey W; MANSOOR, Osman David; BAOPING YANG et al.The Journal of infectious diseases. 2003, Vol 187, pp S246-S251, issn 0022-1899, SUP1Article

Efficient type inference for record concatenation and subtypingPALSBERG, Jens; TIAN ZHAO.Proceedings - Symposium on Logic in Computer Science. 2002, pp 125-136, issn 1043-6871, isbn 0-7695-1483-9, 12 p.Conference Paper

Automated refinement checking for asynchronous processesALUR, Rajeev; GROSU, Radu; WANG, Bow-Yaw et al.Lecture notes in computer science. 2000, pp 55-72, issn 0302-9743, isbn 3-540-41219-0Conference Paper

The role of the corrosion engineer in the development and application of risk-based inspection for plant equipmentHORVATH, R. I.Materials performance. 1998, Vol 37, Num 7, pp 70-75, issn 0094-1492Article

Issues on newly introduced accredited Checker's system in Singapore practiceWAI FAN WONG.Journal of professional issues in engineering education and practice. 1991, Vol 117, Num 4, pp 376-382Article

Report: quest ― a security auditing toolKAPILOW, S. A; CHEREPOV, M.AT&T technical journal. 1988, Vol 67, Num 3, pp 65-71, issn 8756-2324Article

Heuristic model checking for java programsGROCE, Alex; VISSER, Willem.Lecture notes in computer science. 2002, pp 242-245, issn 0302-9743, isbn 3-540-43477-1Conference Paper

  • Page / 18